A-normal form - PDFSEARCH.IO - Document Search Engine

A-normal form
Results: 190

#	Item
181	PDL as a Multi-Agent Strategy Logic ∗ Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2013-12-13 11:26:56 Mathematical logic Nash equilibrium Strategic dominance Common knowledge Cooperative game Modal logic Normal-form game Best response Determinacy Game theory Logic Problem solving
182	What kind of logic is “Independence Friendly” logic? Solomon Feferman 1. Two kinds of logic. To a first approximation there are two main kinds of pursuit in Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2004-11-27 19:12:48 Semantics Predicate logic Quantification Philosophical logic Independence-friendly logic First-order logic Skolem normal form Second-order logic Branching quantifier Logic Mathematical logic Model theory
183	Completeness in the Polynomial-Time Hierarchy A Compendium∗ Marcus Schaefer Add to Reading List Source URL: ovid.cs.depaul.edu Language: English - Date: 2008-10-05 12:49:10 Boolean algebra Logic in computer science NP-complete problems Combinatorics Boolean satisfiability problem Electronic design automation Conjunctive normal form Partition True quantified Boolean formula Theoretical computer science Mathematics Computational complexity theory
184	C2 FUNDAMENTAL THEORY OF DYNAMICAL SYSTEMS HANDOUT 5 Add to Reading List Source URL: www.ucl.ac.uk Language: English - Date: 2002-06-27 08:28:28 Matrix theory Generalized eigenvector Eigenvalues and eigenvectors Diagonalizable matrix Jordan normal form Matrix Diagonal matrix Eigendecomposition of a matrix Defective matrix Algebra Linear algebra Mathematics
185	Computing the Jordan Canonical Form Let A be an n by n square matrix. If its characteristic equation χA (t) = 0 has a repeated root then A may not be diagonalizable, so we need the Jordan Add to Reading List Source URL: empslocal.ex.ac.uk Language: English - Date: 2007-10-26 08:30:33 Generalized eigenvector Eigenvalues and eigenvectors Jordan normal form Diagonalizable matrix Matrix Vector space Linear independence Characteristic polynomial Eigenvalue algorithm Algebra Mathematics Linear algebra
186	A New Normal Form for the Design of Relational Database Schemata CARLO ZANIOLO Add to Reading List Source URL: www.cs.ucla.edu Language: English - Date: 2002-08-02 22:34:37 Data Database constraints Database management systems Relational algebra Third normal form Boyce–Codd normal form Database normalization Relational model Fourth normal form Data management Data modeling Database theory
187	MANAGEMENT SCIENCE Vol U No 3 November, 1967 Printed in V S A Add to Reading List Source URL: www.econ.yale.edu Language: English - Date: 2008-03-02 23:15:21 Problem solving Bayesian game Nash equilibrium Extensive-form game Solution concept Zero–sum game Normal-form game Determinacy Expected value Game theory Algebra Mathematics
188	Classification of Finitely Generated Abelian Groups The proof given below uses vector space techniques (Smith Normal Form) and generalizes from abelian groups to “modules over PIDs” (essentially generalized vector spaces). Smith Normal Form is a reduced form similar to the row reduced matrices encountered in Add to Reading List Source URL: www.cs.uleth.ca Language: English - Date: 2000-11-03 01:05:21 Algebraic structures Geometric group theory Finitely-generated abelian group Abelian group Generating set of a group Group Finitely-generated module Free abelian group Abstract algebra Algebra Group theory
189	A Folk Theorem Sampler Page 1 Add to Reading List Source URL: www.virtualperfection.com Language: English - Date: 2010-04-18 23:59:24 Science Repeated game Nash equilibrium Solution concept Normal-form game Trembling hand perfect equilibrium Backward induction Outcome Subgame perfect equilibrium Game theory Problem solving Economics
190	A New Normal Form for the Design of Relational Database Schemata CARLO ZANIOLO Add to Reading List Source URL: www.cs.ucla.edu Language: English - Date: 2002-08-02 22:34:37 Data Database constraints Database management systems Relational algebra Third normal form Boyce–Codd normal form Database normalization Relational model Fourth normal form Data management Data modeling Database theory

UPDATE